Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
by Thomas S. E. Maibaum,Samson Abramsky,D. M. Gabbay
ISBN 13: 9780198537618
Format: Hardcover (584 pages) Publisher: OUP Oxford Published: 01 Mar 1993
Save for later